$\forall$$b$:$\mathbb{B}$, $x$:Top. if $b$$\rightarrow$ $x$ else $x$ fi $\sim$ $x$